#include <stdio.h>
int main(){
  int year;
  scanf("%d", &year);
  if(year == 2000){
    printf("yes");
  } else{
    printf("no");
  }
  return 0;
}